/* SPDX-FileCopyrightText: 2024 Google LLC */
/* SPDX-License-Identifier: Apache-2.0 */

#include <stdio.h>

int main(int argc, char **argv ) {
  printf("Hello World.\n");
  return 0;
}
